Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 10.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000D90 | Véronique Cortier [France] ; Graham Steel [France] | A Generic Security API for Symmetric Key Management on Cryptographic Devices |
| 001925 | Véronique Cortier [France] ; Graham Steel [France] ; Cyrille Wiedling [France] | Revoke and Let Live: A Secure Key Revocation API for Cryptographic Devices |
| 001A07 | Véronique Cortier [France] ; Graham Steel [France] ; Cyrille Wiedling [France] | Revoke and Let Live: A Secure Key Revocation API for Cryptographic Devices |
| 001B76 | Steve Kremer [France] ; Robert Kunnemann [France] ; Graham Steel [France] | Universally Composable Key-Management |
| 003387 | Véronique Cortier [France] ; Graham Steel [France] | A Generic Security API for Symmetric Key Management on Cryptographic Devices |
| 003C32 | Véronique Cortier [France] ; Graham Steel [France] | Synthesising Secure APIs |
| 004847 | Véronique Cortier [France] ; Stéphanie Delaune [France] ; Graham Steel [Royaume-Uni] | A Formal Theory of Key Conjuring. |
| 004992 | Véronique Cortier [France] ; Keighren Gavin [Royaume-Uni] ; Graham Steel [Royaume-Uni] | Automatic Analysis of the Security of XOR-based Key Management Schemes. |
| 004F03 | Véronique Cortier [France] ; Stéphanie Delaune [France] ; Graham Steel [Royaume-Uni] | A Formal Theory of Key Conjuring |
| 005053 | Véronique Cortier [France] ; Graham Steel [Royaume-Uni] | On the Decidability of a Class of XOR-based Key-management APIs |
| This area was generated with Dilib version V0.6.33. |  |